Choice of Consistent Family, and Quantum Incompatibility

In consistent history quantum theory, a description of the time development of a quantum system requires choosing a framework or consistent family, and then calculating probabilities for the different histories which it contains. It is argued that the framework is chosen by the physicist constructing a description of a quantum system on the basis of questions he wishes to address, in a manner analogous to choosing a coarse graining of the phase space in classical statistical mechanics. The choice of framework is not determined by some law of nature, though it is limited by quantum incompatibility, a concept which is discussed using a two-dimensional Hilbert space (spin half particle). Thus certain questions of physical interest can only be addressed using frameworks in which they make (quantum mechanical) sense. The physicist's choice does not influence reality, nor does the presence of choices render the theory subjective. On the contrary, predictions of the theory can, in principle, be verified by experimental measurements. These considerations are used to address various criticisms and possible misunderstandings of the consistent history approach, including its predictive power, whether it requires a new logic, whether it can be interpreted realistically, the nature of ``quasiclassicality'', and the possibility of ``contrary'' inferences.Comment: Minor revisions to bring into conformity with published version. Revtex 29 pages including 1 page with figure

Comment on ``Consistent Sets Yield Contrary Inferences in Quantum Theory''

In a recent paper Kent has pointed out that in consistent histories quantum theory it is possible, given initial and final states, to construct two different consistent families of histories, in each of which there is a proposition that can be inferred with probability one, and such that the projectors representing these two propositions are mutually orthogonal. In this note we stress that, according to the rules of consistent history reasoning two such propositions are not contrary in the usual logical sense namely, that one can infer that if one is true then the other is false, and both could be false. No single consistent family contains both propositions, together with the initial and final states, and hence the propositions cannot be logically compared. Consistent histories quantum theory is logically consistent, consistent with experiment as far as is known, consistent with the usual quantum predictions for measurements, and applicable to the most general physical systems. It may not be the only theory with these properties, but in our opinion, it is the most promising among present possibilities.Comment: 2pages, uses REVTEX 3.

The C-metric as a colliding plane wave space-time

It is explicitly shown that part of the C-metric space-time inside the black hole horizon may be interpreted as the interaction region of two colliding plane waves with aligned linear polarization, provided the rotational coordinate is replaced by a linear one. This is a one-parameter generalization of the degenerate Ferrari-Ibanez solution in which the focussing singularity is a Cauchy horizon rather than a curvature singularity.Comment: 6 pages. To appear in Classical and Quantum Gravit

The Exact Ground State of the Frenkel-Kontorova Model with Repeated Parabolic Potential: II. Numerical Treatment

A procedure is described for efficiently finding the ground state energy and configuration for a Frenkel-Kontorova model in a periodic potential, consisting of N parabolic segments of identical curvature in each period, through a numerical solution of the convex minimization problem described in the preceding paper. The key elements are the use of subdifferentials to describe the structure of the minimization problem; an intuitive picture of how to solve it, based on motion of quasiparticles; and a fast linear optimization method with a reduced memory requirement. The procedure has been tested for N up to 200.Comment: 9 RevTeX pages, using AMS-Fonts (amssym.tex,amssym.def), 3 Postscript figures, accepted by Phys.Rev.B to be published together with cond-mat/970722

Consistent Quantum Counterfactuals

An analysis using classical stochastic processes is used to construct a consistent system of quantum counterfactual reasoning. When applied to a counterfactual version of Hardy's paradox, it shows that the probabilistic character of quantum reasoning together with the ``one framework'' rule prevents a logical contradiction, and there is no evidence for any mysterious nonlocal influences. Counterfactual reasoning can support a realistic interpretation of standard quantum theory (measurements reveal what is actually there) under appropriate circumstances.Comment: Minor modifications to make it agree with published version. Latex 8 pages, 2 figure

Anomalies of weakened decoherence criteria for quantum histories

The theory of decoherent histories is checked for the requirement of statistical independence of subsystems. Strikingly, this is satisfied only when the decoherence functional is diagonal in both its real a n d imaginary parts. In particular, the condition of consistency (or weak decoherence) required for the assignment of probabilities appears to be ruled out. The same conclusion is obtained independently, by claiming a plausible dynamical robustness of decoherent histories.Comment: 3pp, submitted to Phys. Rev. Let

Atemporal diagrams for quantum circuits

A system of diagrams is introduced that allows the representation of various elements of a quantum circuit, including measurements, in a form which makes no reference to time (hence ``atemporal''). It can be used to relate quantum dynamical properties to those of entangled states (map-state duality), and suggests useful analogies, such as the inverse of an entangled ket. Diagrams clarify the role of channel kets, transition operators, dynamical operators (matrices), and Kraus rank for noisy quantum channels. Positive (semidefinite) operators are represented by diagrams with a symmetry that aids in understanding their connection with completely positive maps. The diagrams are used to analyze standard teleportation and dense coding, and for a careful study of unambiguous (conclusive) teleportation. A simple diagrammatic argument shows that a Kraus rank of 3 is impossible for a one-qubit channel modeled using a one-qubit environment in a mixed state.Comment: Minor changes in references. Latex 32 pages, 13 figures in text using PSTrick

Optimal Eavesdropping in Quantum Cryptography. II. Quantum Circuit

It is shown that the optimum strategy of the eavesdropper, as described in the preceding paper, can be expressed in terms of a quantum circuit in a way which makes it obvious why certain parameters take on particular values, and why obtaining information in one basis gives rise to noise in the conjugate basis.Comment: 7 pages, 1 figure, Latex, the second part of quant-ph/970103

Two qubit copying machine for economical quantum eavesdropping

We study the mapping which occurs when a single qubit in an arbitrary state interacts with another qubit in a given, fixed state resulting in some unitary transformation on the two qubit system which, in effect, makes two copies of the first qubit. The general problem of the quality of the resulting copies is discussed using a special representation, a generalization of the usual Schmidt decomposition, of an arbitrary two-dimensional subspace of a tensor product of two 2-dimensional Hilbert spaces. We exhibit quantum circuits which can reproduce the results of any two qubit copying machine of this type. A simple stochastic generalization (using a ``classical'' random signal) of the copying machine is also considered. These copying machines provide simple embodiments of previously proposed optimal eavesdropping schemes for the BB84 and B92 quantum cryptography protocols.Comment: Minor changes. 26 pages RevTex including 7 PS figure